xsm/flask: Use PCI device label for PCI-MSI IRQs
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:17:46 +0000 (15:17 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:17:46 +0000 (15:17 +0000)
commit99b70ee44e330cac545b13eae7085baffeb74ac0
tree512524ec3cdc9e922ade042cde59224e6b5198a6
parent0063dbabdd946c72d49d1cd861de878f4ef57f65
xsm/flask: Use PCI device label for PCI-MSI IRQs

Because the PCI-MSI IRQ numbers are allocated dynamically, labeling
them by number is not useful. Instead, for all IRQs beyond
nr_irqs_gsi, use the associated msi_desc to find the PCI device and
use the label of the PCI device for the IRQ.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
xen/xsm/flask/hooks.c